g:IMonoid. IsMonoid(|g|;*;e) 

latex

Up	groups 1
Definitions of Statement	IMonoid
Definitions	True, T, t  T, x:A. B(x), P  Q, SqStable(P), IMonoid
Lemmas	imon wf, grp id wf, grp op wf, grp car wf, sq stable monoid p